Research of Operation Semantic and PI Transformation Based on UML Sequence Diagrams
نویسندگان
چکیده
منابع مشابه
Semantic Analysis and Consistency Checking of UML Sequence Diagrams
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes inconsistent or incomplete. Hence, it is important to provide means to check the consistency and completeness of a UML model. This problem is addressed in this report by integrating the information specified in class and statechart diagram...
متن کاملCOSMIC based on Sequence Diagrams MetriKon 2011 COSMIC Functional Sizing based on UML Sequence Diagrams
Agile Teams use UML sequence diagramming to communicate their designs with customers and sponsors. It is tempting to count functional size directly from UML sequence diagrams, once these are available. However, what are the caveats and risks? To understand this, the authors have made a fictional case exercise, looking at a typical software problem of today involving web services and social medi...
متن کاملSemantics-Based Weaving of UML Sequence Diagrams
In this paper we briefly introduce an aspect language that can define cross-cutting effects on a set of UML 2.0 sequence diagrams. Our main contribution is to weave aspects and sequence diagrams at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. To avoid the intractability of working on complete trace sets, w...
متن کاملA metamodeling level transformation from UML sequence diagrams to Coq
Modeling is an important aspect of UML formal verification that directly affects the quality and efficiency of the verification. Formal models are the foundation of formal verification. As UML diagrams only have semi-formal semantics, they cannot be used for formal verification directly. Recent studies present model transformation from semi-formal UML models to formal models to solve the issues...
متن کاملTransformation of UML Interaction Diagrams
Testing is an important means to ensure the quality of software systems. Contract specification can be used to formally specify the cluster level of object-oriented software, which can then be tested using TACCLE, an advanced methodology for object-oriented testing. The use of formal specifications as a testing base has many advantages. However, such specifications are not easily understood and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software Engineering
سال: 2016
ISSN: 1819-4311
DOI: 10.3923/jse.2017.47.53